翻訳と辞書 |
Boris Trakhtenbrot : ウィキペディア英語版 | Boris Trakhtenbrot Boris (Boaz) Avraamovich Trakhtenbrot ((ロシア語:Борис Авраамович Трахтенброт); born 19 February 1921 in Brichevo, northern Bessarabia) or Boaz (Boris) Trakhtenbrot () is an Israeli and Russian mathematician in mathematical logic, algorithms, theory of computation and cybernetics. He worked at Akademgorodok, Novosibirsk during the 1960s and 1970s.〔(【引用サイトリンク】title=History of Computing in Russia > Authors > Boris Avraamovich Trahtenbrot )〕 Currently he is a professor in the faculty of Exact sciences of Tel Aviv University. In 1964 Trakhtenbrot discovered and proved a fundamental result in theoretical computer science called the Gap theorem. He also discovered and proved what is now called Trakhtenbrot's theorem which is a theorem in logic, model theory, and computability theory. == Notes ==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Boris Trakhtenbrot」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|